32.87/32.98	unsat
