6.77/11.48	unsat
