18.64/18.96	unsat
