12.87/14.88	unsat
