18.85/19.89	unsat
