37.43/39.80	unsat
