23.68/23.79	unsat
