6.47/10.94	unsat
