5.37/5.87	unsat
