18.83/23.79	unsat
