17.94/20.84	unsat
