39.13/39.54	unsat
