5.47/9.94	unsat
