17.34/20.91	unsat
