12.77/14.06	unsat
