12.66/12.70	unsat
