13.43/14.06	unsat
