7.68/11.61	unsat
