42.94/46.47	unsat
