38.26/39.38	unsat
