12.76/12.89	unsat
