19.27/20.17	unsat
