34.86/37.93	unsat
