29.95/32.43	unsat
