6.47/12.94	unsat
