12.05/14.88	unsat
