18.89/19.77	unsat
