31.87/36.37	unsat
