12.87/12.99	unsat
