23.23/42.85	unsat
