41.99/42.42	unsat
