39.97/42.38	unsat
