37.93/38.08	unsat
