38.72/42.18	unsat
