17.77/20.19	unsat
