12.70/12.79	unsat
