37.71/42.39	unsat
