42.10/45.33	unsat
