18.64/20.20	unsat
