8.96/12.51	unsat
