6.68/11.28	unsat
