28.95/29.04	unsat
