12.76/12.83	unsat
