42.23/46.16	unsat
