42.33/42.42	unsat
