18.55/20.19	unsat
