6.47/11.09	unsat
