12.72/12.80	unsat
