7.48/12.82	unsat
