12.75/12.89	unsat
