28.95/31.41	unsat
