10.67/14.06	unsat
