7.77/10.36	unsat
