38.77/39.07	unsat
