27.85/31.70	unsat
