17.84/21.06	unsat
