18.84/21.06	unsat
