38.97/39.16	unsat
