12.75/12.81	unsat
