4.53/6.87	unsat
