11.98/14.06	unsat
