13.87/17.06	unsat
