5.47/5.90	unsat
