18.68/23.18	unsat
