42.66/46.13	unsat
