23.37/23.67	unsat
