11.06/12.70	unsat
