42.01/46.07	unsat
