18.23/20.84	unsat
