9.96/12.87	unsat
