12.56/12.86	unsat
