38.22/39.66	unsat
