42.38/46.36	unsat
