12.96/13.06	unsat
