38.64/39.64	unsat
