6.68/11.23	unsat
