11.56/14.06	unsat
