12.76/15.70	unsat
