39.21/39.38	unsat
