17.80/27.70	unsat
