32.69/37.94	unsat
