17.85/21.18	unsat
