18.69/20.10	unsat
