12.64/12.80	unsat
