17.46/20.77	unsat
