12.76/12.80	unsat
