17.58/21.11	unsat
