19.15/20.67	unsat
