32.95/33.03	unsat
